coal-mining machine - German English Dictionary